Blake Winter at KAL, April 28 2009
April-29-09
2:20 PM
Another moral: I should figure an easy way of (at least partially) "draw between dimensions" (while preserving the co-dimension), and therefore make much more readable picture-proofs of all the w-relations.